#include "typedef.h"
#include "kbd.h"
#include "dev.h"

dev_t devtab[MAX_DEVS];

int read(int no, char* buf, int len) {
  devtab[no].read(buf, len);
}
  
